Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
2004 1
2011 1
2015 1
2016 1
2019 1
2020 1
2024 0

Text availability

Article attribute

Article type

Publication date

Search Results

4 results

Results by year

Filters applied: . Clear all
Page 1
Transition Semantics for Branching Time.
Rumberg A. Rumberg A. J Logic Lang Inf. 2016;25:77-108. doi: 10.1007/s10849-015-9231-6. Epub 2015 Nov 6. J Logic Lang Inf. 2016. PMID: 27069305 Free PMC article.
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consist …
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replac …
Synthesis from hyperproperties.
Finkbeiner B, Hahn C, Lukert P, Stenger M, Tentrup L. Finkbeiner B, et al. Acta Inform. 2020;57(1):137-163. doi: 10.1007/s00236-019-00358-2. Epub 2019 Dec 7. Acta Inform. 2020. PMID: 32189717 Free PMC article.
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical examples are information-flow policies like noninterfe …
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties …
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
Arellano G, Argil J, Azpeitia E, Benítez M, Carrillo M, Góngora P, Rosenblueth DA, Alvarez-Buylla ER. Arellano G, et al. BMC Bioinformatics. 2011 Dec 22;12:490. doi: 10.1186/1471-2105-12-490. BMC Bioinformatics. 2011. PMID: 22192526 Free PMC article.
BACKGROUND: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more than one possible future, plays a prominent role. ...Currently, software systems for Boolean GRNs use branching time almost exclu …
BACKGROUND: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more tha …
Fuzzy branching temporal logic.
Moon SI, Lee KH, Lee D. Moon SI, et al. IEEE Trans Syst Man Cybern B Cybern. 2004 Apr;34(2):1045-55. doi: 10.1109/tsmcb.2003.819485. IEEE Trans Syst Man Cybern B Cybern. 2004. PMID: 15376850
Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. ...In this p …
Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy …